labelling procedure

标号程序